how to prove a subgroup